Controllability of Open Work ow Nets
نویسنده
چکیده
An open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controlla ilit , a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controllability and provide solutions to all problems.
منابع مشابه
Decidability Issues for Decentralized Controllability of Open Nets
We sketch an undecidability result concerning the decentralized controllability problem of open nets and discuss some consequences.
متن کاملControllability of Open Workflow Nets
An open workflow net is basically a workflow net extended with a message passing interface. Open workflow nets are adequate models for services or parts of inter-organizational business processes. We investigate the problem of controllability, a natural counterpart of soundness in classical workflow nets (as studied by van der Aalst). We distinguish centralized, distributed, and local controlla...
متن کاملData under control
Controllability is a fundamental sanity check for open systems such as services. Existing approaches to check controllability consider Petri net models in which data aspects are usually neglected or abstracted from. This paper investigates controllability of algebraic Petri nets and sketches a symbolic analysis approach.
متن کاملMobile Agent Itineraries and Work ow Nets for Analysis and Enactment of Distributed Business Processes
An agent s itinerary describes the tasks of the agent and the locations where those tasks are to be per formed Work ow technology is an important area of electronic commerce Work ow nets WF nets a class of Petri nets have been used to specify and ana lyze intra and inter organizational work ow process We investigate the correspondence between an algebra of mobile agent itineraries and WF nets W...
متن کاملContribution à la modélisation et à la vérification de processus workflow
Work ow technology, whose role is to automate business processes and to provide a support for their management, is today an active sector of research. This thesis deals with the modelling of the work ow processes and their analysis. These processes, probably constrained by shared resources or by durations of treatment, must be checked before being executed by their work ow management systems. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005